bài noun Tag, tablet Card, card-game đánh bài to play cards...
toán noun gang, group Từ điển kinh doanh gang party Cụm từ Hiệp...
dừng verb to stop; to halt Từ điển kỹ thuật arrest brake hãm...
bài toán noun (mathematical) problem bài toán số học arithmetic problem...
Câu ví dụ
There are decision problems that are NP-hard but not NP-complete, for example the halting problem. Có những bài toán là NP-khó nhưng không phải NP-đầy đủ, chẳng hạn bài toán dừng.
Chapter XIII ("Computable Functions") includes a discussion of the unsolvability of the halting problem for Turing machines. Chương XIII ("Computable Functions") thảo luận về việc bài toán dừng không giải được trên máy Turing.
Alan Turing proved in 1936 that there is no general method or algorithm which can solve the halting problem for all possible inputs. Alan Turing chứng minh năm 1936 rằng không tồn tại thuật toán nào giải quyết bài toán dừng cho mọi cặp chương trình-dữ liệu vào.
His argument is fundamental in the solution of the Halting Problem and the proof of Gödel's first incompleteness theorem. Luận cứ của ông có ý nghĩa cơ bản trong lời giải của bài toán dừng và phép chứng minh định lý thứ nhất về tính không đầy đủ của Gödel.
His argument is fundamental in the solution of the Halting problem and the proof of Gödel's first incompleteness theorem. Luận cứ của ông có ý nghĩa cơ bản trong lời giải của bài toán dừng và phép chứng minh định lý thứ nhất về tính không đầy đủ của Gödel.
This is the paper where Turing defines Turing machines, formulates the halting problem, and shows that it (as well as the Entscheidungsproblem) is unsolvable. Phiên bản online Đây là bài báo lịch sử định nghĩa máy Turing, bài toán dừng, và chứng minh nó (cùng với bài toán Entscheidungsproblem) là không giải được.
In computability theory, the halting problem can be stated as follows: Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever. Trong lý thuyết khả tính, bài toán dừng có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không.
In computability theory, the halting problem can be stated as follows: Given a description of a computer program, decide whether the program finishes running or continues to run forever Trong lý thuyết khả tính, bài toán dừng có thể diễn đạt như sau: cho trước một chương trình máy tính, quyết định xem chương trình đó có chạy mãi mãi hay không.
So, since you have a finite program that can work out all bits of Omega, you also have a finite program that can solve the halting problem for all programs, no matter what size. Như thế vì chúng ta có một chương trình hữu hạn cho mọi bit của Omega, chúng ta cũng có một chương trình để giải bài toán dừng cho mọi chương trình bất kể kích thước của chúng.
Điện thoại